useful idioms compilation